go.pact.im/x/plumb/internal/solve.solver.setLiftedConstraints (method)

4 uses

	go.pact.im/x/plumb/internal/solve (current package)
		lift.go#L25: 	s.setLiftedConstraints(p, targs, fresh)
		lift.go#L37: func (s *solver) setLiftedConstraints(p *discover.Provider, targs []types.Type, fresh []int) {
		solve.go#L499: 	s.setLiftedConstraints(p, targs, fresh)
		solve.go#L535: 	s.setLiftedConstraints(p, targs, fresh)